$\forall$$b$:$\mathbb{N}$, $f$:($\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$$\rightarrow\mathbb{B}$). ($\exists$$n$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$. $f$($n$)) $\Rightarrow$ \{$f$(mu($f$)) \& ($\forall$$i$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$b$}}$. $i$$<$mu($f$) $\Rightarrow$ $\neg$$f$($i$))\}